From: Danilo Bargen Date: Fri, 22 Sep 2017 21:11:27 +0000 (+0200) Subject: Remove Github mention from CI badges docs X-Git-Tag: archive/raspbian/0.35.0-2+rpi1~3^2^2^2^2^2^2^2~22^2~6^2~36^2 X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/success//%22http:/www.example.com/cgi/success/?a=commitdiff_plain;h=94114d5dc77a7ef87c6d6f9236169f6a61c60c85;p=cargo.git Remove Github mention from CI badges docs --- diff --git a/src/doc/book/src/reference/manifest.md b/src/doc/book/src/reference/manifest.md index 6a2fdc5f2..6a79c7a1b 100644 --- a/src/doc/book/src/reference/manifest.md +++ b/src/doc/book/src/reference/manifest.md @@ -188,7 +188,7 @@ license-file = "..." # which state the issue resolution time, percent of open issues, and future # maintenance intentions. # -# If a `repository` key is required, this refers to a Github repository in +# If a `repository` key is required, this refers to a repository in # `user/repo` format. [badges] diff --git a/src/doc/manifest.md b/src/doc/manifest.md index 2650a516d..4a72712d2 100644 --- a/src/doc/manifest.md +++ b/src/doc/manifest.md @@ -185,7 +185,7 @@ license-file = "..." # which state the issue resolution time, percent of open issues, and future # maintenance intentions. # -# If a `repository` key is required, this refers to a Github repository in +# If a `repository` key is required, this refers to a repository in # `user/repo` format. [badges]